Encoding monotonic multiset preferences using CI-nets
نویسندگان
چکیده
CP-nets and their variants constitute one of the main AI approaches for specifying and reasoning about preferences. CI-nets, in particular, are a CP-inspired formalism for representing ordinal preferences over sets of goods, which are typically monotonic. Considering also that goods often come in multisets rather than sets, a natural question is whether CI-nets can be used more or less directly to encode preferences over multisets. We here provide some initial ideas about this by Ąrst presenting a straight-forward generalisation of CI-nets to multisets with bounded multiplicities, which we show can be eiciently reduced to CI-nets. Second, we sketch a proposal for a further generalisation which allows for encoding preferences over multisets with unbounded multiplicities, yet characterise reasoning in this framework in terms of the Ąrst. We Ąnally show a potential use of our generalisation of CI-nets for personalization in a recent system for evidence aggregation.
منابع مشابه
Encoding monotonic multi-set preferences using CI-nets: preliminary report
CP-nets and their variants constitute one of the main AI approaches for specifying and reasoning about preferences. CI-nets, in particular, are a CP-inspired formalism for representing ordinal preferences over sets of goods, which are typically required to be monotonic. Considering also that goods often come in multi-sets rather than sets, a natural question is whether CI-nets can be used more ...
متن کاملConditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods
While there are several languages for representing combinatorial preferences over sets of alternatives, none of these are well-suited to the representation of ordinal preferences over sets of goods (which are typically required to be monotonic). We propose such a language, taking inspiration from previous work on graphical languages for preference representation, specifically CP-nets, and intro...
متن کاملWell (and better) quasi-ordered transition systems
In this paper, we give a step by step introduction to the theory of well quasi-ordered transition systems. The framework combines two concepts, namely (i) transition systems which are monotonic wrt. a well-quasi ordering; and (ii) a scheme for symbolic backward reachability analysis. We describe several models with infinitestate spaces, which can be analyzed within the framework, e.g., Petri ne...
متن کاملConcurrent Turing Machines as Rewrite Theories
We define Concurrent Turing Machines (CTMs) as Turing machines with Petri nets as finite control. This leads to machines with arbitrary many tape heads, thus subsuming any class of (constant) khead Turing machines. Concurrent Turing machines correspond to a class of multiset rewriting systems. The definition of a CTMs as a rewrite theory avoids the need for encoding multisets as words and using...
متن کاملConcurrent nets: A study of prefixing in process calculi
We introduce the calculus of concurrent nets as an extension of the fusion calculus in which usual prefixing is replaced by arbitrary monotonic guards. Then we use this formalism to describe the prefixing policy of standard calculi as a particular form of communication. By developing a graphical syntax, we sharpen the geometric intuition and finally we provide an encoding of these guards as cau...
متن کامل